大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Design Automation Technical Committee 的图书(共7308本)

Computer Security-ESORICS 2006 [electronic resource] : 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006. Proceedings

0
索取号：
作者：Gollmann、 Dieter.、Meier、 Jan.、Sabelfeld、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Sputtering by Particle Bombardment [electronic resource] : Experiments and Computer Calculations from Threshold to MeV Energies

0
索取号：
作者：Behrisch、 Rainer.、Eckstein、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Cooperative Design, Visualization, and Engineering [electronic resource] : Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings

0
索取号：
作者：Luo、 Yuhua.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Computer Systems Architecture [electronic resource] : 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings

0
索取号：
作者：Jesshope、 Chris.、Egan、 Colin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Groupware: Design, Implementation, and Use [electronic resource] : 12th International Workshop, CRIWG 2006, Medina del Campo, Spain, September 17-21, 2006. Proceedings

0
索取号：
作者：Dimitriadis、 Yannis A.、Zigurs、 Ilze.、G贸mez-S谩nchez、 Eduardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Object-Oriented Metrics in Practice [electronic resource] : Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems

0
索取号：
作者：Lanza、 Michele.、Marinescu、 Radu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings

0
索取号：
作者：Vounckx、 Johan.、Azemard、 Nadine.、Maurine、 Philippe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Relations and Kleene Algebra in Computer Science [electronic resource] : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29鈥揝eptember 2, 2006. Proceedings

0
索取号：
作者：Schmidt、 Renate A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Foundations of Computer Science 2006 [electronic resource] : 31st International Symposium, MFCS 2006, Star谩 Lesn谩, Slovakia, August 28-September 1, 2006. Proceedings

0
索取号：
作者：Kr谩lovi膷、 Rastislav.、Urzyczyn、 Pawe艂.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Interplanetary Mission Analysis and Design [electronic resource]

0
索取号：
作者：Kemble、 Stephen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Haptic and Audio Interaction Design [electronic resource] : First International Workshop, HAID 2006, Glasgow, UK, August 31 - September 1, 2006. Proceedings

0
索取号：
作者：McGookin、 David.、Brewster、 Stephen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Hybrid Intelligent Systems [electronic resource] : Analysis and Design

0
索取号：
作者：Castillo、 Oscar.、Melin、 Patricia.、Kacprzyk、 Janusz.、Pedrycz、 Witold.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

0
索取号：
作者：Ball、 Thomas.、Jones、 Robert B.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Intelligent Control and Automation [electronic resource] : International Conference on Intelligent Computing, ICIC 2006 Kunming, China, August 16鈥Ṭ 2006

0
索取号：
作者：Huang、 De-Shuang.、Li、 Kang.、Irwin、 George William.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Map-based Mobile Services [electronic resource] : Design, Interaction and Usability

0
索取号：
作者：Meng、 Liqiu.、Zipf、 Alexander.、Winter、 Stephan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Fuzzy Control and Filter Design for Uncertain Fuzzy Systems [electronic resource]

0
索取号：
作者：Assawinchaichote、 Wudhichai.、Nguang、 Sing Kiong.、Shi、 Peng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.